Formal systems - PDFSEARCH.IO - Document Search Engine

Formal systems
Results: 1365

#	Item
721	On personally appeared in open court before now sitting Add to Reading List Source URL: revwarapps.org Language: English - Date: 2014-05-29 21:21:18 Systems engineering Formal methods Safety Software engineering Reliability engineering Software development process Software development methodology Programming tool Life-critical system Software development Software quality Software
722	MDEP Generic Common Position Multinational Design Evaluation Programme Generic Common Position DICWG No2 – PUBLIC USE Add to Reading List Source URL: www.oecd-nea.org Language: English - Date: 2013-03-28 07:57:46 Systems engineering Formal methods Safety Software engineering Reliability engineering Software development process Software development methodology Programming tool Life-critical system Software development Software quality Software
723	Community Size and Network Closure By Hunt Allcott, Dean Karlan, Markus M. Möbius, Tanya S. Rosenblat, and Adam Szeidl* Large community size is often negatively correlated with prosocial behaviors such as formal volunte Add to Reading List Source URL: karlan.yale.edu Language: English - Date: 2007-06-29 21:07:15 Networks Ethology Network theory Social systems Community building Social network Closure Trust Science Sociology Structure
724	Differential Dynamic Logic for Verifying Parametric Hybrid Systems? Andr´e Platzer University of Oldenburg, Department of Computing Science, Germany Carnegie Mellon University, Computer Science Department, Pittsburgh, P Add to Reading List Source URL: symbolaris.com Language: English - Date: 2014-08-04 10:08:59 Model theory Predicate logic Logical truth Formal languages Symbol First-order logic Substitution Interpretation KeY Logic Mathematical logic Propositional calculus
725	Publications Luc Schneider Refereed conference articles 2003a Schneider, L, Cunningham J. 2003. “Ontological Foundations of Natural Language Communication in Multiagent Systems”. Proceedings of the 7th International Add to Reading List Source URL: www.unige.ch Language: English - Date: 2004-02-10 15:38:54 Information science Knowledge representation Technical communication Knowledge Semantic Web Formal ontology Upper ontology Ontology Information Science
726	CoastGIS 2015 Workshop Proposal Title of the workshop: Coastal/Marine SDI Capacity Building Workshop – Managing Big Data Challenges Workshop organizer(s), contact information and qualifications: Roger Longhorn ral@alum Add to Reading List Source URL: www.coastgis2015.co.za Language: English - Date: 2014-12-22 22:42:06 Spatial data infrastructure Formal sciences Big data Technology Geographic information systems Data management
727	E-Infrastructure support for the life sciences: Preparing for the data deluge A BioMedBridges knowledge exchange workshop hosted by ELIXIR This document has now been closed for editing (status 23 May 2014) Add to Reading List Source URL: www.biomedbridges.eu Language: English - Date: 2014-06-05 08:10:58 Science Database theory Formal sciences Bioinformatics Emerging technologies Big data Metabolomics Database Data mining Data management Technology Database management systems
728	Big data processing infrastructure Large-Capacity, High-Reliability Grid Storage: iStorage HS Series (HYDRAstor) KAWANABE Masazumi, YOSHIMURA Shigeru, UTAKA Junya YOSHIOKA Hiroshi, MIZUMACHI Hiroaki, KATO Mitsugu Add to Reading List Source URL: www.nec.com Language: English - Date: 2014-03-26 09:04:09 Database management systems Database theory Formal sciences Fault-tolerant computer systems Emerging technologies Backup Computer data storage Database Big data Computing Data management Technology
729	Hitachi, Ltd. Canon Inc. Conclusion of Formal Contract Between Hitachi and Canon Related to Comprehensive LCD Panel Business Alliance Add to Reading List Source URL: www.canon.com Language: English - Date: 2010-12-23 20:15:47 Economy of Japan Canon Hitachi Data Systems Technology Hitachi Manufacturing

UPDATE